integration of sec x (sec x tan x) dx